Handbook of logic in computer science Vol. 3, Semantic structures
- Författare
- T. S. E. Maibaum Dov M. Gabbay S. Abramsky
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Clarendon Press | 1994 | Storbritannien, Oxford | xiii, 490 sidor. |